📋 Row Typing

Extensible Records, Structural Subtyping, Label Constraints, Polymorphic Variants

Python PEP 636 – Structural Pattern Matching: Tutorial
peps.python.org·21h·
Discuss: Hacker News
💬Interactive REPLs
New comment by debugnik in "A comparison of Ada and Rust, using solutions to the Advent of Code"
news.ycombinator.com·21h·
Discuss: Hacker News
🔒Rust Borrowing
Database Normalization
dev.to·14h·
Discuss: DEV
🎓Educational Databases
Property-based testing of batch-invariant operations
mmaaz.ca·9h·
Discuss: Hacker News
🎲Property Testing
An alternative to knowledge graphs for storing loosely structured content
fleetingswallow.com·18h·
Discuss: Hacker News
🌲Tree Rewriting
Obsidian Contact Importer
404wolf.com·7h
🔄Incremental Lexing
Dimensional Analysis in Programming Languages (2018)
gmpreussner.com·13h·
Discuss: Hacker News
🔢Algebraic Datatypes
Java Backend Coding Technology: Writing Code in the Era of AI
central.sonatype.com·2d·
Discuss: DEV
🎮Language Ergonomics
Toward a Holistic Evaluation of Robustness in CLIP Models
arxiv.org·4h
🚂Error Propagation
Microformats – building blocks for data-rich web pages
microformats.org·1d·
Discuss: Hacker News
🌐Web Standards
smartgo: I wish for a Go-like language with Rust-like pointers
iio.ie·5h
🔒Rust Borrowing
Higher-Level Design Patterns
qouteall.fun·2d·
Discuss: Hacker News
⚡Algebraic Effects
Recent AI Experiences
lesswrong.com·2d
📝Rope Editors
spreadsheets discourse
imperfect.bearblog.dev·12h
🌳Tree Shaking
Domain Driven Design in Clojure with Generalized Hiccup
biotz.io·3d·
Discuss: Lobsters, Hacker News
⚡functional programming
"Bridge sorting" problem
reddit.com·17h·
Discuss: r/compsci
🪢Rope Data Structures
std::ranges may not deliver the performance that you expect
lemire.me·10h·
Discuss: Hacker News
🏃Escape Analysis
Show HN: LINQ-to-SQL but for TypeScript – turn type-safe lambdas into SQL
github.com·2d·
Discuss: Hacker News
🗃️Query Compilation
Reflections on Designing a Search Autocomplete System
torontostudygroup.github.io·1d·
Discuss: DEV
🌿Trie Structures
TypeScript and the Illusion of Type-Safety
medium.com·2d·
Discuss: r/typescript
🔧API Design